pointer analysis
JAlbum 5.2